在著名的形式演绎系统L*中引入一种新的运算(○+),讨论了这种运算的性质,得到了形式演绎系统的弱演绎定理.......

对模糊命题演算的形式演绎系统中的公理L10：（A→B）∨（（A→B）→A∨B）进行了较为深刻的研究，一方面应用L10讨论了L^＊系统与Lukasiewicz系统，GSd......